home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.arizona.edu / ftp.cs.arizona.edu.tar / ftp.cs.arizona.edu / icon / newsgrp / group03a.txt / 000014_icon-group-sender_Wed Feb 12 08:13:21 2003.msg < prev    next >
Internet Message Format  |  2003-12-22  |  2KB
  1. Return-Path: <icon-group-sender>
  2. Received: (from root@localhost)
  3.     by baskerville.CS.Arizona.EDU (8.11.1/8.11.1) id h1CFDKf14816
  4.     for icon-group-addresses; Wed, 12 Feb 2003 08:13:20 -0700 (MST)
  5. Message-Id: <200302121513.h1CFDKf14816@baskerville.CS.Arizona.EDU>
  6. X-Sender: whm@mail.mse.com (Unverified)
  7. Date: Wed, 12 Feb 2003 01:00:58 -0700
  8. To: ernobe <ernobe@yahoo.com>
  9. From: "William H. Mitchell" <whm@mse.com>
  10. Subject: Re: data values (and bounded expressions)
  11. Cc: icon-group@cs.arizona.edu
  12. Errors-To: icon-group-errors@cs.arizona.edu
  13. Status: RO
  14.  
  15. There's a good discussion of bounded expressions on 90-92 in "The Icon
  16. Programming Language", on the website.  The key point is that if an
  17. expression is bounded and it produces a result, all/any suspended
  18. generators in the expression are discarded.
  19.  
  20. You can find a somewhat different explanation of the topic in some slides
  21. for an Icon class I'm currently teaching.  Here's the URL for that growing
  22. set of slides: http://www.cs.arizona.edu/classes/cs451/icon.pdf.  See slide
  23. 72 and following.  NOTE that the PDF was generated with WordPerfect and
  24. some browser plug-ins blow up on it.  If so, download it and then view it
  25. as a file.
  26.  
  27. At 03:34 PM 2/11/03 -0600, ernobe wrote:
  28. >
  29. >[In the implementation book,] in Chapter 2, page 17, there appears that,
  30. >"Except in such specific situations, expressions are not bounded".  The
  31. >specific situations mentioned are the if-clause and the control clauses
  32. >of loops.  The confusion here is that the if expressions and loops are
  33. >also themselves expressions, and when they do not appear as arguments to
  34. >other expressions they are bounded.  The previous mention of unbounded
  35. >expressions referred to them as arguments to be evaluated (p.16) which
  36. >was seen to resemble a logical conjunction (p.15).  All of which leads
  37. >us to the conclusion that a clearer statement than the one cited would
  38. >be "Except in such specific situations, logical expressions are not
  39. >bounded."     
  40.